Transcendental syntax 2.0

نویسنده

  • Jean-Yves Girard
چکیده

How come that finite language can produce certainty — at least a sufficiently certain certainty, sometimes apodictic — in the presence of infinity? The answer can by no means be found in external reality, quite the contrary: it seems that the very purpose of semantics is to make this question untractable with the help of an ad hoc analytical newspeak in which one cannot even formulate the above question. Transcendental syntax comes from the constatation that logic is better off when there is no A reality B at all and thus restores the priority of syntax over anything else. What follows is the present state of a new programme.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Geometry of Interaction VI: a blueprint for Transcendental Syntax

The paper makes use of a finitary version of Geometry of Interaction to fix most pending problems in propositional proof-nets. The methodological guidelines are those of transcendental syntax. 1 Transcendental Syntax Transcendental syntax starts where semantics fails: foundational issues1. 1.1 Splendor. . . Semantics is very valuable tool: nothing is better than a good model-theoretic argument....

متن کامل

Transcendental syntax II: non deterministic case

Using a non deterministic analytics, it is possible to expand the autonomous explanation of logic, a.k.a. transcendental syntax, to full logic, i.e., first order predicate calculus with equality. This paper concentrates on additives, intuitionistic negation and on a paradoxically unexplored territory: predicates (by opposition to propositions).

متن کامل

A Formalization of Kant's Transcendental Logic

Although Kant envisaged a prominent role for logic in the argumentative structure of his Critique of pure reason [12], logicians and philosophers have generally judged Kant’s logic negatively. What Kant called ‘general’ or ‘formal’ logic has been dismissed as a fairly arbitrary subsystem of first order logic, and what he called ‘transcendental logic’ is considered to be not a logic at all: no s...

متن کامل

Fields and Galois Theory

These notes give a concise exposition of the theory of fields, including the Galois theory of finite and infinite extensions and the theory of transcendental extensions. They are an expansion of those handed out during a course taught to first-year graduate students. v2.01 (August 21, 1996). First version on the web. v2.02 (May 27, 1998). Fixed about 40 minor errors; 57 pages. v3.00 (April 3, 2...

متن کامل

Stress reduction programs in patients with elevated blood pressure: a systematic review and meta-analysis.

Substantial evidence indicates that psychosocial stress contributes to hypertension and cardiovascular disease (CVD). Previous meta-analyses of stress reduction and high blood pressure (BP) were outdated and/or methodologically limited. Therefore, we conducted an updated systematic review of the published literature and identified 107 studies on stress reduction and BP. Seventeen trials with 23...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2012